The Extended Certificate Verification Tree 证书验证树CVT的扩展
Design and Verification of Network Tree Search Engine 网络树形搜索引擎的设计及其验证
From verification of soundness and performance evaluation the Petri net-based workflow model is analyzed. In order to verify the soundness of simple Petri net-workflow model, an arithmetic based on reachable tree is given. 本文还提出了基于可达树的分析方法用于简单工作流Petri网模型正确性的验证,同时利用四种Petri简化规则完成了对层次工作流Petri网模型的正确性验证。
An extended scheme of Certificate Verification Tree, which is completely comparable to the former two schemes, is proposed by issuing more short validity certificates to a signer at a time. And this scheme also inherits most of the advantages of the original Certificate Verification Tree. 通过一次性为签名人颁发更多的短时效证书,将证书验证树方案进一步扩展,得到的方案与前两个方案在性能上完全具有可比性,并且继承了原方案的大部分优点。
A comparison between Certificate Verification Tree and Certificate Revocation List shows that both of them have the same performance as a whole. 通过对证书验证树和证书吊销列表的比较,得出两者总体性能的一致性结论;